Buy Used and New Alexander Knapp Books

Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal ... 9933 (Lecture Notes in Computer Science)

by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

ISBN 13: 9783319459424

Format: Paperback (264 pages)
Publisher: Springer
Published: 14 Sep 2016

Save for later

Ernest Bloch Studies (Cambridge Composer Studies)

by Alexander Knapp

ISBN 13: 9781108792622

Format: Paperback (312 pages)
Publisher: Cambridge University Press
Published: 20 Feb 2020

Save for later